(set-logic oops
